Automated Reasoning With Analytic Tableaux and Related Methods : International Conference, Tableaux 2000, St Andrews, Scotland, Uk, July 3-7, 2000 : Proceedings
ISBN: 9783540450085
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.